Skip to main content
Scour
Browse
Getting Started
Login
Sign Up
You are offline. Trying to reconnect...
Close
You're currently offline. Some features may not work.
Close
Copied to clipboard
Close
Unable to share or copy to clipboard
Close
⚡ Const Evaluation
Compile-Time Computation, Const Fn, Static Analysis, CTFE
Filter Results
Timeframe
Fresh
Past Hour
Today
This Week
This Month
Feeds to Scour
Subscribed
All
Scoured
20689
posts in
153.1
ms
Both GCC and
Clang
generate
strange/inefficient
code
codingmarginalia.blogspot.com
·
15h
·
Discuss:
Hacker News
,
Hacker News
⚙
Rust Compiler Internals
Zinc
Language Design
ziggit.dev
·
4h
🔒
Borrow Checker
Build a
Compiler
in Five Projects
kmicinski.com
·
3h
⚙
Rust Compiler Internals
🎲 TypeScript
strictness
is
non-monotonic
: strict-null-checks and no-implicit-any interact
huonw.github.io
·
18h
📘
Typescript
E-Globe: Scalable $\
epsilon
$-Global Verification of Neural Networks via Tight Upper Bounds and Pattern-Aware
Branching
arxiv.org
·
1d
🧠
LLM Inference
EarlyBinder
and
instantiating
parameters - Rust Compiler Development Guide
rustc-dev-guide.rust-lang.org
·
2d
·
Discuss:
Lobsters
,
Hacker News
⚙
Rust Compiler Internals
RUSTSEC-2025-0146
: Vulnerability in
sha-rust
rustsec.org
·
1d
🦀
Rust
GTK
hackfest
, 2026 edition
blogs.gnome.org
·
1d
🔧
Developer tools
Agentic
Proof-Oriented
Programming
risemsr.github.io
·
1d
·
Discuss:
Lobsters
,
Hacker News
🧮
SMT Solvers
Building a battle tested C
compiler
in a new language using
Codex
moonbitlang.com
·
1d
·
Discuss:
Hacker News
⚙️
Language Runtimes
New C++ features in
GCC
10
developers.redhat.com
·
4d
⚙
Rust Compiler Internals
Linting
intra-task concurrency and
FutureLock
farnoy.dev
·
2d
·
Discuss:
r/rust
🔄
Async Rust
Taming the Regex Monster: Optimizing Massive
Literal
Alternations
modern-c.blogspot.com
·
1d
·
Discuss:
r/golang
🔍
RegEx Engines
Modern
Trends
In
Floating-Point
semiengineering.com
·
2d
⚡
Hardware Acceleration
stdlib
v7.2
erlang.org
·
1d
·
Discuss:
Hacker News
🗄️
libSQL
🎲
Piecemeal
Formal Verification: Cloudflare, Java Exceptions, and Rust
Mutexes
gavinhoward.com
·
2d
📐
TLA+
How to
refer
to the
result
location
ziggit.dev
·
1d
📌
Pin/Unpin
Type
Variance
en.wikipedia.org
·
1d
·
Discuss:
Hacker News
🧩
Types
feldera/feldera
: The
Feldera
Incremental
Computation Engine
github.com
·
3h
⚡
DataFusion
Clojure
’s Persistent Data Structures:
Immutability
Without the Performance Hit
javacodegeeks.com
·
1d
🔓
Lock-Free Structures
Loading...
Loading more...
Page 2 »
Keyboard Shortcuts
Navigation
Next / previous item
j
/
k
Open post
o
or
Enter
Preview post
v
Post Actions
Love post
a
Like post
l
Dislike post
d
Undo reaction
u
Recommendations
Add interest / feed
Enter
Not interested
x
Go to
Home
g
h
Interests
g
i
Feeds
g
f
Likes
g
l
History
g
y
Changelog
g
c
Settings
g
s
Browse
g
b
Search
/
Pagination
Next page
n
Previous page
p
General
Show this help
?
Submit feedback
!
Close modal / unfocus
Esc
Press
?
anytime to show this help